push-button time switch - Spanisch Englisch Wörterbuch